|
|
|
|
|
|
Synopsis |
|
|
|
|
Time zones
|
|
|
A TimeZone is a whole number of minutes offset from UTC, together with a name and a "just for summer" flag.
| Constructors | TimeZone | | timeZoneMinutes :: Int | The number of minutes offset from UTC. Positive means local time will be later in the day than UTC.
| timeZoneSummerOnly :: Bool | Is this time zone just persisting for the summer?
| timeZoneName :: String | The name of the zone, typically a three- or four-letter acronym.
|
|
| Instances | |
|
|
|
Text representing the offset of this timezone, such as "-0800" or "+0400" (like %z in formatTime)
|
|
|
Text representing the offset of this timezone, such as "-0800" or "+0400" (like %z in formatTime), with arbitrary padding
|
|
|
Create a nameless non-summer timezone for this number of minutes
|
|
|
Create a nameless non-summer timezone for this number of hours
|
|
|
The UTC time zone
|
|
|
Get the local time-zone for a given time (varying as per summertime adjustments)
|
|
|
Get the current time-zone
|
|
Time of day
|
|
|
Time of day as represented in hour, minute and second (with picoseconds), typically used to express local time of day.
| Constructors | TimeOfDay | | todHour :: Int | range 0 - 23
| todMin :: Int | range 0 - 59
| todSec :: Pico | Note that 0 <= todSec < 61, accomodating leap seconds.
Any local minute may have a leap second, since leap seconds happen in all zones simultaneously
|
|
| Instances | |
|
|
|
Hour zero
|
|
|
Hour twelve
|
|
|
|
|
Convert a ToD in UTC to a ToD in some timezone, together with a day adjustment.
|
|
|
Convert a ToD in some timezone to a ToD in UTC, together with a day adjustment.
|
|
|
Get a TimeOfDay given a time since midnight.
Time more than 24h will be converted to leap-seconds.
|
|
|
Find out how much time since midnight a given TimeOfDay is.
|
|
|
Get a TimeOfDay given the fraction of a day since midnight.
|
|
|
Get the fraction of a day since midnight given a TimeOfDay.
|
|
Local Time
|
|
|
A simple day and time aggregate, where the day is of the specified parameter,
and the time is a TimeOfDay.
Conversion of this (as local civil time) to UTC depends on the time zone.
Conversion of this (as local mean time) to UT1 depends on the longitude.
| Constructors | | Instances | |
|
|
|
show a UTC time in a given time zone as a LocalTime
|
|
|
find out what UTC time a given LocalTime in a given time zone is
|
|
|
1st arg is observation meridian in degrees, positive is East
|
|
|
1st arg is observation meridian in degrees, positive is East
|
|
|
A local time together with a TimeZone.
| Constructors | | Instances | |
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.6.1 |